Manipulating algebraic specifications with term-based and graph-based representations
نویسندگان
چکیده
منابع مشابه
Manipulating algebraic specifications with term-based and graph-based representations
In an environment of continuous and rapid evolution, software design methodologies must incorporate techniques and tools that support changes in software artifacts. In the FERUS project, we are developing a tool targeted at software designers that integrates a collection of operations on algebraic specifications written in the CASL language. The scope of FERUS includes not only modification of ...
متن کاملComponent Based Algebraic Specifications
The rapid adoption of Internet/Intranet technologies has led to an explosive increase in demand for the construction of reliable distributed systems. To meet this important technical challenge, new technologies such as component based software engineering, software architecture[17] and design patterns, attract many software researchers and engineers. Moreover, several standardization activities...
متن کاملNondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Algebraic specifications are generalized to the case of nondeterministic operations by admitting models with set-valued functions (multi-algebras). General (in particular, non-confluent) term rewriting systems are studied as a specification language for this semantic framework. A calculus for nondeterministic specifications is given which is similar to term rewriting but which employs an additi...
متن کاملAlgebraic Specifications and Refinement for Component-Based Development using RAISE
There are two main activities in Component-Based Development: component development, where we build libraries for general use, and component integration, where we assemble an application from existing components. In this work, we analyze how to apply algebraic specifications with refinement to component development. So we restrict our research to the use of modules that are described as class e...
متن کاملAlgebraic Graph-based Approach to Schema Integration
The language of sketches is as concise and powerful as higher order logic and as handy as conventional ER-diagrams. We discuss its beneets in respect to problems of schema integration. It is evident that a chief property of the next generation information systems is their organization on cooperative principles. Typically, applications involved in a cooperative system have to access data stored ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2004
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2003.12.001